Ex falso quodlibet:爆炸原理
Ex falso quodlibet 或 ex falso sequitur quodlibet 意为“从假(或矛盾)可以推出任意命题”,现代逻辑中通常称为爆炸原理。其典型形式是:一旦同时接受 (P) 与 (\neg P),便可以推得任意结论 (Q)。
在经典逻辑中,可以先由 (P) 得到 (P\lor Q),再把它与 (\neg P) 结合,通过析取三段论推出 (Q)。这并不是说一个孤立的错误前提在日常推理中真的支持所有结论,而是说明:在经典后承关系下,一个含有不可消解矛盾的理论会失去区分可推出与不可推出命题的能力。
相干逻辑与次协调逻辑正是通过限制这类推导来研究“有矛盾但不爆炸”的推理系统。因此,爆炸原理是经典逻辑的特征之一,并非所有逻辑体系都无条件接受的普遍规则。
来源
- Classical Logic(英文;《斯坦福哲学百科》)
- Paraconsistent Logic(英文;《斯坦福哲学百科》)